Hilbert algebras with a necessity modal operator
نویسندگان
چکیده
Received 12 December 2013 1991 Mathematics Subject Classification: 03G25; 06D05
منابع مشابه
Some Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras
In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $. New frames in Hilbert modules over pro-C*-algebras are called standard $ ast $-frames of multipliers. Meanwhile, we study several useful properties of standard $ ast $-frames in Hilbert modu...
متن کاملG-frames in Hilbert Modules Over Pro-C*-algebras
G-frames are natural generalizations of frames which provide more choices on analyzing functions from frame expansion coefficients. First, they were defined in Hilbert spaces and then generalized on C*-Hilbert modules. In this paper, we first generalize the concept of g-frames to Hilbert modules over pro-C*-algebras. Then, we introduce the g-frame operators in such spaces and show that they sha...
متن کامل*-frames in Hilbert modules over pro-C*-algebras
In this paper, by using the sequence of multipliers, we introduce frames with algebraic bounds in Hilbert pro-$ C^* $-modules. We investigate the relations between frames and $ ast $-frames. Some properties of $ ast $-frames in Hilbert pro-$ C^* $-modules are studied. Also, we show that there exist two differences between $ ast $-frames in Hilbert pro-$ C^* $-modules and Hilbert $ ...
متن کاملExploring Extensions of Possibilistic Logic over Gödel Logic
In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language compose...
متن کاملThe Subvariety of Q-heyting Algebras Generated by Chains
The variety QH of Heyting algebras with a quantifier [14] corresponds to the algebraic study of the modal intuitionistic propositional calculus without the necessity operator. This paper is concerned with the subvariety C of QH generated by chains. We prove that this subvariety is characterized within QH by the equations ∇(x∧ y) ≈ ∇x∧∇y and (x → y)∨ (y → x) ≈ 1. We investigate free objects in C.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Reports on Mathematical Logic
دوره 49 شماره
صفحات -
تاریخ انتشار 2014